Knihy od autora Annabelle McIver

Zobrazeno 1 – 7 z 7 výsledků

Další

Stránka 1. z 1

Předchozí

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Charles Carroll Morgan | Springer-Verlag New York Inc., 2010

Skladem u dodavatele - Odesíláme za 10-18 dnů

Jazyk: Angličtina

Vazba: Brožovaná

3379 Kč

Koupit
Quantitative Evaluation of Systems

Annabelle McIver, Andras Horvath | Springer International Publishing AG, 2018

Skladem u dodavatele - Odesíláme za 5-8 dnů

Jazyk: Angličtina

Vazba: Brožovaná

1182 Kč

Koupit
Logic for Programming, Artificial Intelligence, and Reasoning

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2015

Skladem u dodavatele - Odesíláme za 5-8 dnů

Jazyk: Angličtina

Vazba: Brožovaná

1182 Kč

Koupit
Science of Quantitative Information Flow

Mário S. Alvim, Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey S. Smith | Springer International Publishing AG, 2019

Skladem u dodavatele - Odesíláme za 10-13 dnů

Jazyk: Angličtina

Vazba: Pevná

1384 Kč

Koupit
Formal Methods - The Next 30 Years

Maurice ter Beek, Annabelle McIver, José N. Oliveira | Springer Nature Switzerland AG, 2019

Skladem u dodavatele - Odesíláme za 5-8 dnů

Jazyk: Angličtina

Vazba: Brožovaná

1182 Kč

Koupit
Programming Methodology

Annabelle McIver, Carroll Morgan | Springer, Berlin, 2003

Skladem u dodavatele - Odesíláme za 10-13 dnů

Jazyk: Angličtina

Vazba: Pevná

2303 Kč

Koupit
Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Carroll Morgan | Springer-Verlag New York Inc., 2004

Skladem u dodavatele v malém množství - Odesíláme za 13-18 dnů

Jazyk: Angličtina

Vazba: Pevná

4060 Kč

Koupit